Ammonium mu-Formato-di-mu-oxo-bis[bis(formato)oxomolybdate(V)]. Chemical Properties, Structure and Electronic Spectrum.

Hopf algebroids and the structure of MU∗(MU)

Highly Cooperative Tetrametallic Ruthenium-mu-Oxo-mu-Hydroxo Catalyst for the Alcohol Oxidation Reaction.

The tetrametallic ruthenium-oxo-hydroxo-hydride complex {[(PCy(3))(CO)RuH](4)(mu(4)-O)(mu(3)-OH)(mu(2)-OH)} (1) was synthesized in two steps from the monomeric complex (PCy(3))(CO)RuHCl (2). The tetrameric complex 1 was found to be a highly effective catalyst for the transfer dehydrogenation of alcohols. Complex 1 showed a different catalytic activity pattern towards primary and secondary benzy...

Efficient Dehydrogenation of Amines and Carbonyl Compounds Catalyzed by a Tetranuclear Ruthenium-mu-Oxo-mu-Hydroxo-Hydride Complex.

The tetranuclear ruthenium-mu-oxo-mu-hydroxo-hydride complex {[(PCy(3))(CO)RuH](4)(mu(4)-O)(mu(3)-OH)(mu(2)-OH)} (1) was found to be a highly effective catalyst for the transfer dehydrogenation of amines and carbonyl compounds. For example, the initial turnover rate of the dehydrogenation of 2-methylindoline was measured to be 1.9 s(-1) with the TON of 7950 after 1 h at 200 degrees C. The exten...

Proving Termination Properties with mu-term

mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost rewriting, termination of order-sorted rewriting, termination of context-sensitive rewriting, termination of innermost context-sensitive rewriting and termination of rewriting modulo specific axioms. Such termination ...

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for superdeduction, both based on Christian Urban’s work on classical sequent calculus. However the compu...